Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
321	A proof of strong normalisation using domain theory Thierry Coquand Chalmers Tekniska H¨ogskola Gothenburg Add to Reading List Source URL: assert-false.net Language: English - Date: 2012-02-29 08:17:43
322	Introduction to Proof Theory Lecture notes for ESSLLI’10 August 9–20, 2010, University of Copenhagen, Denmark Lutz Straßburger INRIA Saclay – ˆIle-de-France Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-08-11 02:27:08
323	A Short Proof for the Krull Dimension of a Polynomial Ring Thierry Coquand and Henri Lombardi A first important result in dimension theory is the fact that the Krull dimension of the ring K[X1 , . . . , X` ] is equal to Add to Reading List Source URL: hlombardi.free.fr Language: English - Date: 2004-09-22 06:10:40
324	Gentzen’s original consistency proof and the Bar Theorem W. W. Tait∗ The story of Gentzen’s original consistency proof for first-order number theory (Gentzen 1974),1 as told by Paul Bernays (Gentzen 1974), (Bernays Add to Reading List Source URL: home.uchicago.edu Language: English - Date: 2014-05-03 11:29:05
325	Towards a Proof Theory of Rewriting: The Simply-Typed 2 -Cal ulus Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2009-10-07 06:06:50
326	BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: Proof Theory and Computational Analysis Proof Theory and Computational Analysis Add to Reading List Source URL: www.brics.dk Language: English - Date: 1997-12-01 08:32:19
327	Motivation and Framework Prisoner’s Dilemma with Source Code Reading Proof-Based Counterfactuals What’s Next? Decision Theory and the Logic of Provability Add to Reading List Source URL: intelligence.org Language: English - Date: 2015-05-17 15:37:38
328	From Theory to Practice – Field Test Proof Usefulness of Dynamic Cable Rating Henrik Hoff, AP Sensing GmbH Mujaheed Ahmed, Yusuf Bin Kannoo Ltd. Germany; Kingdom of Saudi Arabia Add to Reading List Source URL: cigre-gcc.org Language: English* - Date: 2015-02-27 07:43:04
329	BRICS Basic Research in Computer Science BRICS NS-98-6 Butz et al. (eds.): Abstracts of the Workshop on Proof Theory and Complexity, PTAC ’98 Abstracts of the Workshop on Add to Reading List Source URL: www.brics.dk Language: English - Date: 1998-07-30 03:38:54
330	FOLIATIONS, C ∗ -ALGEBRAS AND INDEX THEORY EXAM QUESTIONS. SET NUMBER 2 Easy Question. Give the general definition of characteristic classes of foliations. Difficult Question 1. Sketch the proof of independence of tra Add to Reading List Source URL: toknotes.mimuw.edu.pl - Date: 2006-03-13 10:38:20

UPDATE